Optimal. Leaf size=96 \[ \frac {3 \text {ArcTan}\left (\frac {\sqrt {b} \sinh (c+d x)}{\sqrt {a}}\right )}{8 a^{5/2} \sqrt {b} d}+\frac {\sinh (c+d x)}{4 a d \left (a+b \sinh ^2(c+d x)\right )^2}+\frac {3 \sinh (c+d x)}{8 a^2 d \left (a+b \sinh ^2(c+d x)\right )} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.04, antiderivative size = 96, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 3, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.143, Rules used = {3269, 205, 211}
\begin {gather*} \frac {3 \text {ArcTan}\left (\frac {\sqrt {b} \sinh (c+d x)}{\sqrt {a}}\right )}{8 a^{5/2} \sqrt {b} d}+\frac {3 \sinh (c+d x)}{8 a^2 d \left (a+b \sinh ^2(c+d x)\right )}+\frac {\sinh (c+d x)}{4 a d \left (a+b \sinh ^2(c+d x)\right )^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 205
Rule 211
Rule 3269
Rubi steps
\begin {align*} \int \frac {\cosh (c+d x)}{\left (a+b \sinh ^2(c+d x)\right )^3} \, dx &=\frac {\text {Subst}\left (\int \frac {1}{\left (a+b x^2\right )^3} \, dx,x,\sinh (c+d x)\right )}{d}\\ &=\frac {\sinh (c+d x)}{4 a d \left (a+b \sinh ^2(c+d x)\right )^2}+\frac {3 \text {Subst}\left (\int \frac {1}{\left (a+b x^2\right )^2} \, dx,x,\sinh (c+d x)\right )}{4 a d}\\ &=\frac {\sinh (c+d x)}{4 a d \left (a+b \sinh ^2(c+d x)\right )^2}+\frac {3 \sinh (c+d x)}{8 a^2 d \left (a+b \sinh ^2(c+d x)\right )}+\frac {3 \text {Subst}\left (\int \frac {1}{a+b x^2} \, dx,x,\sinh (c+d x)\right )}{8 a^2 d}\\ &=\frac {3 \tan ^{-1}\left (\frac {\sqrt {b} \sinh (c+d x)}{\sqrt {a}}\right )}{8 a^{5/2} \sqrt {b} d}+\frac {\sinh (c+d x)}{4 a d \left (a+b \sinh ^2(c+d x)\right )^2}+\frac {3 \sinh (c+d x)}{8 a^2 d \left (a+b \sinh ^2(c+d x)\right )}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.13, size = 79, normalized size = 0.82 \begin {gather*} \frac {\frac {3 \text {ArcTan}\left (\frac {\sqrt {b} \sinh (c+d x)}{\sqrt {a}}\right )}{\sqrt {b}}+\frac {\sqrt {a} \sinh (c+d x) \left (5 a+3 b \sinh ^2(c+d x)\right )}{\left (a+b \sinh ^2(c+d x)\right )^2}}{8 a^{5/2} d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.56, size = 86, normalized size = 0.90
method | result | size |
derivativedivides | \(\frac {\frac {\sinh \left (d x +c \right )}{4 a \left (a +b \left (\sinh ^{2}\left (d x +c \right )\right )\right )^{2}}+\frac {\frac {3 \sinh \left (d x +c \right )}{8 a \left (a +b \left (\sinh ^{2}\left (d x +c \right )\right )\right )}+\frac {3 \arctan \left (\frac {b \sinh \left (d x +c \right )}{\sqrt {a b}}\right )}{8 a \sqrt {a b}}}{a}}{d}\) | \(86\) |
default | \(\frac {\frac {\sinh \left (d x +c \right )}{4 a \left (a +b \left (\sinh ^{2}\left (d x +c \right )\right )\right )^{2}}+\frac {\frac {3 \sinh \left (d x +c \right )}{8 a \left (a +b \left (\sinh ^{2}\left (d x +c \right )\right )\right )}+\frac {3 \arctan \left (\frac {b \sinh \left (d x +c \right )}{\sqrt {a b}}\right )}{8 a \sqrt {a b}}}{a}}{d}\) | \(86\) |
risch | \(\frac {\left (3 b \,{\mathrm e}^{6 d x +6 c}+20 a \,{\mathrm e}^{4 d x +4 c}-9 b \,{\mathrm e}^{4 d x +4 c}-20 a \,{\mathrm e}^{2 d x +2 c}+9 b \,{\mathrm e}^{2 d x +2 c}-3 b \right ) {\mathrm e}^{d x +c}}{4 \left (b \,{\mathrm e}^{4 d x +4 c}+4 a \,{\mathrm e}^{2 d x +2 c}-2 b \,{\mathrm e}^{2 d x +2 c}+b \right )^{2} a^{2} d}-\frac {3 \ln \left ({\mathrm e}^{2 d x +2 c}-\frac {2 a \,{\mathrm e}^{d x +c}}{\sqrt {-a b}}-1\right )}{16 \sqrt {-a b}\, d \,a^{2}}+\frac {3 \ln \left ({\mathrm e}^{2 d x +2 c}+\frac {2 a \,{\mathrm e}^{d x +c}}{\sqrt {-a b}}-1\right )}{16 \sqrt {-a b}\, d \,a^{2}}\) | \(201\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 2111 vs.
\(2 (82) = 164\).
time = 0.63, size = 3934, normalized size = 40.98 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 835 vs.
\(2 (85) = 170\).
time = 30.10, size = 835, normalized size = 8.70 \begin {gather*} \begin {cases} \frac {\tilde {\infty } x \cosh {\left (c \right )}}{\sinh ^{6}{\left (c \right )}} & \text {for}\: a = 0 \wedge b = 0 \wedge d = 0 \\\frac {\sinh {\left (c + d x \right )}}{a^{3} d} & \text {for}\: b = 0 \\- \frac {1}{5 b^{3} d \sinh ^{5}{\left (c + d x \right )}} & \text {for}\: a = 0 \\\frac {x \cosh {\left (c \right )}}{\left (a + b \sinh ^{2}{\left (c \right )}\right )^{3}} & \text {for}\: d = 0 \\\frac {3 a^{2} \log {\left (- \sqrt {- \frac {a}{b}} + \sinh {\left (c + d x \right )} \right )}}{16 a^{4} b d \sqrt {- \frac {a}{b}} + 32 a^{3} b^{2} d \sqrt {- \frac {a}{b}} \sinh ^{2}{\left (c + d x \right )} + 16 a^{2} b^{3} d \sqrt {- \frac {a}{b}} \sinh ^{4}{\left (c + d x \right )}} - \frac {3 a^{2} \log {\left (\sqrt {- \frac {a}{b}} + \sinh {\left (c + d x \right )} \right )}}{16 a^{4} b d \sqrt {- \frac {a}{b}} + 32 a^{3} b^{2} d \sqrt {- \frac {a}{b}} \sinh ^{2}{\left (c + d x \right )} + 16 a^{2} b^{3} d \sqrt {- \frac {a}{b}} \sinh ^{4}{\left (c + d x \right )}} + \frac {10 a b \sqrt {- \frac {a}{b}} \sinh {\left (c + d x \right )}}{16 a^{4} b d \sqrt {- \frac {a}{b}} + 32 a^{3} b^{2} d \sqrt {- \frac {a}{b}} \sinh ^{2}{\left (c + d x \right )} + 16 a^{2} b^{3} d \sqrt {- \frac {a}{b}} \sinh ^{4}{\left (c + d x \right )}} + \frac {6 a b \log {\left (- \sqrt {- \frac {a}{b}} + \sinh {\left (c + d x \right )} \right )} \sinh ^{2}{\left (c + d x \right )}}{16 a^{4} b d \sqrt {- \frac {a}{b}} + 32 a^{3} b^{2} d \sqrt {- \frac {a}{b}} \sinh ^{2}{\left (c + d x \right )} + 16 a^{2} b^{3} d \sqrt {- \frac {a}{b}} \sinh ^{4}{\left (c + d x \right )}} - \frac {6 a b \log {\left (\sqrt {- \frac {a}{b}} + \sinh {\left (c + d x \right )} \right )} \sinh ^{2}{\left (c + d x \right )}}{16 a^{4} b d \sqrt {- \frac {a}{b}} + 32 a^{3} b^{2} d \sqrt {- \frac {a}{b}} \sinh ^{2}{\left (c + d x \right )} + 16 a^{2} b^{3} d \sqrt {- \frac {a}{b}} \sinh ^{4}{\left (c + d x \right )}} + \frac {6 b^{2} \sqrt {- \frac {a}{b}} \sinh ^{3}{\left (c + d x \right )}}{16 a^{4} b d \sqrt {- \frac {a}{b}} + 32 a^{3} b^{2} d \sqrt {- \frac {a}{b}} \sinh ^{2}{\left (c + d x \right )} + 16 a^{2} b^{3} d \sqrt {- \frac {a}{b}} \sinh ^{4}{\left (c + d x \right )}} + \frac {3 b^{2} \log {\left (- \sqrt {- \frac {a}{b}} + \sinh {\left (c + d x \right )} \right )} \sinh ^{4}{\left (c + d x \right )}}{16 a^{4} b d \sqrt {- \frac {a}{b}} + 32 a^{3} b^{2} d \sqrt {- \frac {a}{b}} \sinh ^{2}{\left (c + d x \right )} + 16 a^{2} b^{3} d \sqrt {- \frac {a}{b}} \sinh ^{4}{\left (c + d x \right )}} - \frac {3 b^{2} \log {\left (\sqrt {- \frac {a}{b}} + \sinh {\left (c + d x \right )} \right )} \sinh ^{4}{\left (c + d x \right )}}{16 a^{4} b d \sqrt {- \frac {a}{b}} + 32 a^{3} b^{2} d \sqrt {- \frac {a}{b}} \sinh ^{2}{\left (c + d x \right )} + 16 a^{2} b^{3} d \sqrt {- \frac {a}{b}} \sinh ^{4}{\left (c + d x \right )}} & \text {otherwise} \end {cases} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: TypeError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.94, size = 87, normalized size = 0.91 \begin {gather*} \frac {\frac {5\,\mathrm {sinh}\left (c+d\,x\right )}{8\,a}+\frac {3\,b\,{\mathrm {sinh}\left (c+d\,x\right )}^3}{8\,a^2}}{d\,a^2+2\,d\,a\,b\,{\mathrm {sinh}\left (c+d\,x\right )}^2+d\,b^2\,{\mathrm {sinh}\left (c+d\,x\right )}^4}+\frac {3\,\mathrm {atan}\left (\frac {\sqrt {b}\,\mathrm {sinh}\left (c+d\,x\right )}{\sqrt {a}}\right )}{8\,a^{5/2}\,\sqrt {b}\,d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________